Personal Information
Associate professor Supervisor of Master's Candidates
Academic Titles:计算机科学与技术学院计算理论与技术研究所本硕博师联合党支部书记
Research Projects
- 时空逻辑知识驱动的智能决策关键技术研究,在研
- Efficient Artificial Intelligence Planning Guided by Spatio-Temporal Knowledge,under study,2019-07-01
- Research on Verification of Pointer Programs based on Spatio-Temporal Reasoning,under study,2018-11-20,Luxury
- Innovation Group of Safety Critical and Intelligent Software,under study,陕西省科技厅,2018-11-01,TIANCONG,杨孟飞,顾斌,龚健,乔磊,刘波
- Spatio-Temporal Reasoning with Improved Spatio-Temporal Logic PPTL^SL,under study,A00001,2018-08-16,Luxury,刘瑾,王文胜,董彦松,马润哲,覃凌峰,姚晨光,王稔之
- Research on Program Synthesis by Automated Planning,under study,2018-03-09,Luxury
- Domain Knowledge Constraint based Complex Task Planning and Reasoning,under study,2018-01-01,DUANZHENHUA,于斌,杨凯
- Multi-Typed Temporal Logic Programming Design,study complete,2014-08-16,ZHAOLIANG
- Model Checking Shared Variable Based Multi-core Concurrent Programs,study complete,2011-08-19,TIANCONG,聂鹏程,王勇强,王海洋,李珂,杨凯
| TOTAL 9 PIECE 1/1 | FIRSTPREVIOUSNEXTLAST |